home *** CD-ROM | disk | FTP | other *** search
/ Software USA 4 #10 / Software USA Volume 4.10.iso / mac / Educational / Googolator / Inputs / Cole.run next >
Text File  |  1996-09-28  |  216b  |  7 lines

  1. "Check F.N.Cole's famous proof that 2^67 - 1 = 193707721 * 761838257287."
  2. ''
  3. '(2^67 - 1) - (193707721 * 761838257287) = ';
  4.  (2^67 - 1) - (193707721 * 761838257287)
  5. ''
  6. 'If the above result is zero then he was right!'
  7.